defined on AxA by